Higher Computing

Results: 1165



#Item
321Subroutines / Functional programming / Lambda calculus / Higher-order functions / Computability theory / Function / Main function / Parameter / Scheme / Software engineering / Computer programming / Computing

Once you see how it works, it’s not so mysterious. 21 Example: The Functions Program

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2008-08-15 14:41:19
322Java platform / Java / ROS / Computing / Cross-platform software / Computing platforms

Install Notes for 3APL Robot Demo Requirements operating system: windows[removed]or higher. java sdk[removed]http://java.sun.com/j2se/1.4/index.html) 3apl-ros-1.0.zip Installation

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2003-01-21 07:07:23
323Recursion / Higher-order functions / Programming idioms / Subroutines / Data types / Fold / Map / Function / Irish Enterprise Exchange / Software engineering / Computer programming / Computing

Extracted from: Programming Elixir Functional |> Concurrent |> Pragmatic |> Fun This PDF file contains pages extracted from Programming Elixir, published by the

Add to Reading List

Source URL: media.pragprog.com

Language: English - Date: 2015-04-02 14:33:50
324Higher-order functions / Procedural programming languages / Map / Formal languages / Parsing / Expr / Attribute grammar / Filter / ALGOL 68 / Computing / Software engineering / Computer programming

Modules Types Integer! 1234 0xcafe 0177 0b100 10_000 cheat

Add to Reading List

Source URL: media.pragprog.com

Language: English - Date: 2014-10-15 13:53:57
325Security / Privacy law / Quality Assurance Agency for Higher Education / Quality assurance / Computing / Computer law / Information security / Data Protection Act / Information privacy / Ethics / Data privacy / Higher education in the United Kingdom

Data protection policy Introduction The Data Protection Act[removed]the Act) regulates the way in which all personal data is held and processed. This is a statement of the data protection policy adopted by the Quality Assu

Add to Reading List

Source URL: www.qaa.ac.uk

Language: English - Date: 2015-03-13 12:50:53
326Computing / Academia / Higher education / X86 / Low-level programming language / Carnegie Mellon University

BAP: A Binary Analysis Platform David Brumley Ivan Jager Thanassis Avgerinos Edward J. Schwartz Carnegie Mellon University

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-12-17 15:18:11
327Type theory / Functional programming / Data types / Recursion / Higher-order functions / Generalized algebraic data type / Algebraic data type / Eval / Type system / Software engineering / Computing / Computer programming

Open Data Types and Open Functions Andres L¨oh Ralf Hinze Institut f¨ur Informatik III, Universit¨at Bonn

Add to Reading List

Source URL: www.andres-loeh.de

Language: English - Date: 2015-03-03 07:36:01
328System administration / Groupware / ActiveSync / Windows Mobile / System software / License manager / Computing / Exchange ActiveSync / Data synchronization / Software / Mobile software

This document describes the licensing model employed by MailEnable for servicing ActiveSync. 1 Overview The ActiveSync service itself is included in the base MailEnable product installation for Professional and higher e

Add to Reading List

Source URL: www.mailenable.com

Language: English - Date: 2014-04-25 23:58:40
329Higher-order functions / Functional languages / Functional programming / Automated theorem proving / Type theory / Haskell / Fold / Map / QuickCheck / Software engineering / Computing / Declarative programming

Making a Century in HERMIT Extended Abstract Neil Sculthorpe Computer Science Department Swansea University {N.A.Sculthorpe}@swansea.ac.uk

Add to Reading List

Source URL: ifl2014.github.io

Language: English - Date: 2015-03-04 15:20:42
330Universia / Massachusetts Institute of Technology / Google / Technology / Higher education / Association of Public and Land-Grant Universities / Computing / Walter Lewin

MITOCW_Site_Rpt_2012_02_v1.xlsx

Add to Reading List

Source URL: ocw.mit.edu

Language: English - Date: 2015-04-16 16:28:49
UPDATE